Nuprl Definition : es-rcvs
11,40
postcript
pdf
rcvs(
l
;before(
e'
)) == filter(
e
.haslnk(
l
;
e
);before(
e'
))
latex
clarification:
es-rcvs(
es
;
l
;
e'
) == filter(
e
.es-haslnk(
es
;
l
;
e
);es-before(
es
;
e'
))
latex
Definitions
before(
e
)
,
haslnk(
l
;
e
)
,
x
.
A
(
x
)
,
filter(
P
;
l
)
FDL editor aliases
es-rcvs
origin
e.haslnk(l;e);before(e'))
e.es-haslnk(es; l; e);es-before(es; e')) e.haslnk(l;e);before(e'))
e.es-haslnk(es; l; e);es-before(es; e')) x.A(x)